منابع مشابه
Quantificational logic and empty names
In a number of recent articles Timothy Williamson has built a strong case for the claim that everything necessarily exists. His argument rests on a combination of the derivability of this claim from quantificational logic, with standard modal principles and a robust understanding of the Kripke semantics for quantified modal logic. In this paper I defend a contingentist, non-Meinongian metaphysi...
متن کاملA Logic Programming and Verification System for Recursive Quantificational Logic
In this paper, we describe a logic programming and program verification system which is based on quantifier elimination techniques and axiomatization rather than on more common method of doing logic programming using the Herbrand-Prawitz-Robinson unification algorithm without occur-check. This system is shown to have interesting properties for logic programming and includes a number of advanced...
متن کاملThe permutation principle in quantificational logic
The story goes back to 1940, with the publication of Quine's Mathematical Logic [5]. He there presents a system of quantificational logic in which only sentences or closed formulas are theorems. In that system, the sole rule of inference is Modus Ponens and the axioms are the universal closures of the following formulas: (1) $, for @ tautologous; (2) Wvb) 1 vcwv~~); (3) qb 3 Vcuj, for o not fre...
متن کاملQuantificational Modal Logic with Sequential Kripke Semantics
We introduce quantificational modal operators as dynamic modalities with (extensions of) Henkin quantifiers as indices. The adoption of matrices of indices (with action identifiers, variables and/or quantified variables as entries) gives an expressive formalism which is here motivated with examples from the area of multi-agent systems. We study the formal properties of the resulting logic which...
متن کاملQuantificational prepositions
In this note we discuss a couple of Dutch prepositions that systematically combine with a common noun phrase, without any determiner. We explore whether we can analyze these prepositions as having ‘incorporated’ a determiner, semantically speaking, and discuss the consequences of this analysis for the status of bare nominals, the demarcation of syntactic and semantic categories, and the relatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Control
سال: 1960
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(60)90783-x